Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
631	Connectives SNAP! Connectives SNAP! Teaching notes A SNAP is valid when the two cards show connectives that are synonyms, rather than when identical connectives appear. Students will need to be clear which connectives Add to Reading List Source URL: www.teachit.co.uk Language: English - Date: 2015-01-05 05:43:31 Predicate logic Fuzzy logic Logical connective Sentence BL Propositional calculus Logic Mathematical logic Propositions
632	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:39:00 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic
633	Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
634	Model-checking space and time requirements for resource-bounded agents Natasha Alechina1 , Piergiorgio Bertoli2 , Chiara Ghidini2 , Mark Jago1 , Brian Logan1, and Luciano Serafini2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Logical truth Propositional calculus Logical syntax Substitution Formula Well-formed formula Interpretation Logic Mathematics Mathematical logic
635	Semantics for Dynamic Syntactic Epistemic Logics ˚ Thomas Agotnes Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 12:33:36 Formal languages Propositional calculus Predicate logic Logical truth Interpretation First-order logic Substitution Indiscernibles Formation rule Logic Mathematical logic Model theory
636	Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk) Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:36:27 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus
637	Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness Thomas ˚ Agotnes Bergen University College Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:29:34 Formal languages Model theory Mathematical logic Logic programming Substitution Symbol Interpretation Entailment Function Logic Mathematics Propositional calculus
638	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
639	International Journal of Information Security manuscript No. (will be inserted by the editor) J. G. Cederquist · R. Corin · M. A. C. Dekker S. Etalle · J. I. den Hartog · G. Lenzini Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 12:47:09 Propositional calculus Predicate logic Logical syntax Model theory Euclidean plane geometry Golden ratio First-order logic Entailment Function Logic Mathematics Mathematical logic
640	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics

UPDATE